George Necula - PDFSEARCH.IO - Document Search Engine

George Necula
Results: 57

#	Item
41	Separating Functional and Parallel Correctness using Nondeterministic Sequential Specifications Jacob Burnim, George Necula, and Koushik Sen Department of Computer Science, University of California, Berkeley {jburnim,nec Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-12 14:14:09 Models of computation Applied mathematics Concurrent computing Parallel computing Correctness Finite-state machine Linearizability Thread Algorithm Computing Theoretical computer science Computer science
42	Towards Hinted Collection ∗ Annotations for decreasing garbage collector pause times Philip Reames George Necula Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-12 14:11:52 Computer programming Automatic memory management Data types Software bugs Primitive types Garbage collection Unreachable memory Reference counting Memory leak Computing Software engineering Memory management
43	George Necula Electrical Engineering and Computer Science University of California, Berkeley 783 Soda Hall Berkeley, CA 94720 Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2014-01-20 12:46:10 Association for Computing Machinery George Necula Proof-carrying code SIGPLAN Principles of Programming Languages Programming Language Design and Implementation Symposium on Principles and Practice of Parallel Programming ACM SIGACT ECL programming language Computing Computer science Programming language theory
44	Beyond Bug-Finding: Sound Program Analysis for Linux Zachary Anderson,1 Eric Brewer,1 Jeremy Condit,1 Robert Ennals,2 David Gay,2 Matthew Harren,1 George C. Necula,1 Feng Zhou1 1 2 Add to Reading List Source URL: www.barnowl.org Language: English - Date: 2007-05-18 18:24:14 Data types Cross-platform software Software bugs Linux Linux kernel Kernel Type system Operating system Type safety Computing Software Type theory
45	Published in the Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, Vancouver 2000, pages 83–95 Translation Validation for an Optimizing Compiler George C. Necula University o Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:25 Compiler construction Compiler optimizations Program analysis Procedural programming languages Compiler Static single assignment form GNU Compiler Collection Algorithm Register allocation Software Computing Programming language implementation
46	CCured in the Real World Jeremy Condit Matthew Harren Scott McPeak George C. Necula Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:28 Computer programming Pointer Type safety Struct Dangling pointer C Memory safety Function pointer Reference Software engineering Computing Data types
47	The Design and Implementation of a Certifying Compiler George C. Necula Peter Lee School of Computer Science Carnegie Mellon University Pittsburgh, Pennsylvania 15213{3891 Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:07 Compiler construction Programming language implementation Computer errors Program analysis Data types Compiler Bounds-checking elimination C Aliasing Computing Software engineering Software
48	Philip Reames 582 Soda Hall Berkeley, CA[removed]removed[removed] Add to Reading List Source URL: www.philipreames.com Language: English - Date: 2013-04-19 16:49:16 Association of Public and Land-Grant Universities Committee on Institutional Cooperation Champaign Illinois University of Illinois at Urbana–Champaign George Necula FactSet Research Systems Urbana Illinois Champaign–Urbana metropolitan area Geography of Illinois Champaign County Illinois Illinois
49	Published in Proc. of Conference on Compiler Construction, 2002, pp. 213–228. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs George C. Necula, Scott McPeak, S. P. Rahul, and Westley Add to Reading List Source URL: scottmcpeak.com Language: English - Date: 2004-10-27 17:17:45 Type theory Data types C programming language Compiler construction C++ C Intermediate Language Value C syntax Pointer Software engineering Computing Computer programming
50	Published in the Proceedings of the Principles of Programming Languages, 2002, pages 128–139 CCured: Type-Safe Retrofitting of Legacy Code George C. Necula Scott McPeak Add to Reading List Source URL: scottmcpeak.com Language: English - Date: 2004-10-27 17:18:43 Computer programming Type theory C++ Primitive types C programming language Pointer Type safety C Type system Software engineering Computing Data types

UPDATE